1 : (
    w -> p,
    (w -> p),
)
h